大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Haifa International Workshop 的图书(共9439本)

Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

0
索取号：
作者：Aichernig、 Bernhard K.、Boer、 Frank S.、Bonsangue、 Marcello M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

0
索取号：
作者：Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Security and Intelligent Information Systems [electronic resource] : International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers

0
索取号：
作者：Bouvry、 Pascal.、K艂opotek、 Mieczys艂aw A.、Lepr茅vost、 Franck.、Marciniak、 Ma艂gorzata.、Mykowiecka、 Agnieszka.、Rybi艅ski、 Henryk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings

0
索取号：
作者：Liu、 Baoxiang.、Chai、 Chunlai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Trade Policies and Climate Change Governance [electronic resource]

0
索取号：
作者：Rao、 P.K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information and Communications Security [electronic resource] : 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011. Proceedings

0
索取号：
作者：Qing、 Sihan.、Susilo、 Willy.、Wang、 Guilin.、Liu、 Dongmei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

e-Business and Telecommunications [electronic resource] : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers

0
索取号：
作者：Obaidat、 Mohammad S.、Tsihrintzis、 George A.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Complex Systems Design & Management [electronic resource] : Proceedings of the Second International Conference on Complex Systems Design & Management CSDM 2011

0
索取号：
作者：Hammami、 Omar.、Krob、 Daniel.、Voirin、 Jean-Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Visual Informatics: Sustaining Research and Innovations [electronic resource] : Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part II

0
索取号：
作者：Zaman、 Halimah Badioze.、Robinson、 Peter.、Petrou、 Maria.、Olivier、 Patrick.、Shih、 Timothy K.、Velastin、 Sergio.、Nystr枚m、 Ingela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19鈥Ⱜ 2011, Melbourne, Australia [electronic resource] : Volume 3: Computer Networks and Electronic Engineering

0
索取号：
作者：Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Visual Informatics: Sustaining Research and Innovations [electronic resource] : Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part I

0
索取号：
作者：Badioze Zaman、 Halimah.、Robinson、 Peter.、Petrou、 Maria.、Olivier、 Patrick.、Shih、 Timothy K.、Velastin、 Sergio.、Nystr枚m、 Ingela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19鈥Ⱜ 2011, Melbourne, Australia [electronic resource] : Volume 2: Information Systems and Computer Engineering

0
索取号：
作者：Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19-20, 2011, Melbourne, Australia [electronic resource] : Volume 1: Intelligent Control and Network Communication

0
索取号：
作者：Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ambient Intelligence [electronic resource] : Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings

0
索取号：
作者：Keyson、 David V.、Maher、 Mary Lou.、Streitz、 Norbert.、Cheok、 Adrian.、Augusto、 Juan Carlos.、Wichert、 Reiner.、Englebienne、 Gwenn.、Aghajan、 Hamid.、Kr枚se、 Ben J. A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Business Process Model and Notation [electronic resource] : Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings

0
索取号：
作者：Dijkman、 Remco.、Hofstetter、 J枚rg.、Koehler、 Jana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.